An exploration of extensibility with object algebras in TypeScript and its relation to visitors and typed tagless final interpreters in Haskell.